Probabilistic automaton - PDFSEARCH.IO - Document Search Engine

Probabilistic automaton
Results: 22

#	Item
11	LATA invited lecture, MarchHankel matrices Hankel Matrices: From Words to Graphs Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2015-03-08 12:10:16 Hermann Hankel Hankel matrix Probabilistic automaton Matrix Stochastic matrix Matrices Automata theory Mathematics
12	Cost Functions and Value 1 problem in practice Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-12-18 04:04:55 Deterministic automaton Regular language Probabilistic automaton Mathematics Deterministic pushdown automaton Automata theory Applied mathematics Ω-automaton
13	ACME: Automata with Counters, Monoids and Equivalence? Nathanaël Fijalkow1,2 and Denis Kuperberg2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-21 11:37:01 Automata theory Mathematics Category theory Formal languages Algebraic structures Monoid Semiautomaton Probabilistic automaton Regular language Abstract algebra Semigroup theory Algebra
14	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
15	INDUCTIVE INFERENCE THEORY — A UNIFIED APPROACH TO PROBLEMS IN PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE Ray J. Solomonoff Visiting Professor, Computer Learning Research Center Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-18 21:28:45 Computability theory Theory of computation Ray Solomonoff Prior probability Inductive inference Computable function Computability Probabilistic automaton Economic model Probability Artificial intelligence Statistics
16	Limited Rationality and Strategic Interaction: A Probabilistic Multi-Agent Model Yves Ortiz and Martin Schüle Working Paper[removed]This discussion paper series represents research work-in-progress and is distributed wit Add to Reading List Source URL: www.szgerzensee.ch Language: English - Date: 2011-11-17 10:01:38 Outcome Cellular automaton Normal-form game Strategic complements Economics Game theory Problem solving Best response
17	Weighted Rational Transductions and their Application to Human Language Processing Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:49:11 Models of computation Computer science Applied mathematics Finite state transducer Regular language Nondeterministic finite automaton Finite-state machine N-gram Probabilistic automaton Automata theory Formal languages Theoretical computer science
18	Probabilistic Model Checking  and Strategy Synthesis    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-22 23:04:08 Markov models Model checking Markov chain Probabilistic automaton Economic model Probabilistic logic Probability Statistics Automata theory
19	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics
20	Probabilistic Cost Enforcement of Security Policies Yannis Mallios1 , Lujo Bauer1 , Dilsun Kaynar1 , Fabio Martinelli2 , and Charles Morisset3 1 2 Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2013-08-04 12:37:28 Models of computation Probability theory Boolean algebra Measure theory Sigma-algebra Parity of a permutation Finite-state machine Nondeterministic finite automaton Mathematics Automata theory Mathematical analysis